inspector: Add some margin to css editor
authorMatthias Clasen <mclasen@redhat.com>
Tue, 10 Mar 2015 18:07:27 +0000 (14:07 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 10 Mar 2015 18:07:27 +0000 (14:07 -0400)
Requested in
https://bugzilla.gnome.org/show_bug.cgi?id=745918

gtk/inspector/css-editor.ui

index cd77f1a1d141c4cd44faad0021ff6c62d9f06d61..96fbc847a977a68bfd8551a56a89e9275c88194a 100644 (file)
@@ -86,6 +86,8 @@
             <property name="wrap-mode">word</property>
             <property name="monospace">True</property>
             <property name="has-focus">True</property>
+            <property name="left-margin">6</property>
+            <property name="right-margin">6</property>
           </object>
         </child>
       </object>